to be coextensive with